correctly access file extension via boost::filesystem
authorHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Sun, 5 Oct 2025 20:04:07 +0000 (22:04 +0200)
committerDrew Parsons <dparsons@debian.org>
Sun, 5 Oct 2025 20:04:07 +0000 (22:04 +0200)
commit6c60312d85ab8d9d6313e3c28f4d73196421559f
treef21d15b55b0de06ae472d1de3f1d91f66414f75f
parent815e0c447420a6e7b05a688415d390b38e98bac6
correctly access file extension via boost::filesystem

Extension() is a method for a path object.

Last-Update: 2025-09-22
Forwarded: https://bitbucket.org/fenics-project/mshr/pull-requests/19

Gbp-Pq: Name boost_filesystem_extension.patch
app/mshrable.cpp